Extension Morphisms for CommUnity
نویسندگان
چکیده
Superpositions are useful relationships between programs or components in component based approaches to software development. We study the application of invasive superposition morphisms between components in the architecture design language CommUnity. This kind of morphism allows us to characterise component extension relationships, and in particular, serves an important purpose for enhancing components to implement certain aspects, in the sense of aspect oriented software development. We show how this kind of morphism combines with regulative superposition and refinement morphisms, on which CommUnity relies, and illustrate the need and usefulness of extension morphisms for the implementation of aspects, in particular, certain fault tolerance related aspects, by means of a case study.
منابع مشابه
From torsion theories to closure operators and factorization systems
Torsion theories are here extended to categories equipped with an ideal of 'null morphisms', or equivalently a full subcategory of 'null objects'. Instances of this extension include closure operators viewed as generalised torsion theories in a 'category of pairs', and factorization systems viewed as torsion theories in a category of morphisms. The first point has essentially been treated in [15].
متن کاملTame-blind Extension of Morphisms of Truncated Barsotti-tate Group Schemes
The purpose of the present paper is to show that morphisms between the generic fibers of truncated Barsotti-Tate group schemes over mixed characteristic complete discrete valuation rings with perfect residue fields extend in a “tame-blind” fashion — i.e., under a condition which is unaffected by passing to a tame extension — to morphisms between the original truncated Barsotti-Tate group scheme...
متن کاملOn a Generalization of Standard Episturmian Morphisms
In a recent paper with L. Q. Zamboni the authors introduced the class of θ-episturmian words, where θ is an involutory antimorphism of the free monoid A∗. In this paper, we introduce and study θcharacteristic morphisms, that is, morphisms which map standard episturmian words into standard θ-episturmian words. They are a natural extension of standard episturmian morphisms. The main result of the...
متن کاملToroidalization of locally toroidal morphisms of 3-folds
A toroidalization of a dominant morphism $varphi: Xto Y$ of algebraic varieties over a field of characteristic zero is a toroidal lifting of $varphi$ obtained by performing sequences of blow ups of nonsingular subvarieties above $X$ and $Y$. We give a proof of toroidalization of locally toroidal morphisms of 3-folds.
متن کاملOn morphisms of crossed polymodules
In this paper, we prove that the category of crossed polymodules (i.e. crossed modules of polygroups) and their morphisms is finitely complete. We, therefore, generalize the group theoretical case of this completeness property of crossed modules.
متن کامل